-- Test wrong type
    DEF def(X:nat, Y:nat):natl == 0	--wrong type natl
    DEF MAIN:bool == true
